W. J. Blok; 1976; "Varieties of interior algebras"